-
1 induction by elimination
Математика: элиминативная индукцияУниверсальный англо-русский словарь > induction by elimination
-
2 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
3 элиминативная индукция
Большой англо-русский и русско-английский словарь > элиминативная индукция
-
4 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
5 method
1) метод; приём; способ2) методика3) технология4) система•- accelerated strength testing method-
benching method-
bullhead well control method-
electrical-surveying method-
electromagnetic surveying method-
long-wire transmitter method-
operational method-
rule of thumb method-
straight flange method of rolling beams-
symbolical method-
tee-test method-
testing method-
triangulation method-
value-iteration method -
6 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
7 technique
2) технология; (технологический) приём3) алгоритм4) оборудование; технические средства; техника•-
active neutron technique
-
Afmag technique
-
airborne technique
-
air-conditioning technique
-
alignment technique
-
alloy-diffusion technique
-
anchoring technique
-
angled-lapping technique
-
angle-lapping technique
-
angled-lap technique
-
angle-lap technique
-
apertured-detector technique
-
arc-melting technique
-
assembly technique
-
audio record cutting technique
-
audio-frequency magnetic technique
-
batch-fabrication technique
-
batch technique
-
beam-lead microcircuit technique
-
birefringent coating technique
-
bonding technique
-
brittle coating technique
-
broadside technique
-
BTR technique
-
carbon extraction technique
-
cementing technique
-
check summation technique
-
check sum technique
-
chemiluminescence technique
-
cine technique
-
circuit technique
-
CM technique
-
collector-diffusion isolation technique
-
computer simulation techniques
-
computing technique
-
conformable masking technique
-
coring technique
-
cryogenic technique
-
crystal growth technique
-
crystal-pulling technique
-
curing technique
-
curve-fitting technique
-
Czochralski growth technique
-
Czochralski technique
-
decoration technique
-
design technique
-
destructive inspection technique
-
diffusion technique
-
direct writing technique
-
diversity technique
-
doping technique
-
dot-and-dash technique
-
double-specimen technique
-
double-theodolite technique
-
drilling technique
-
dry etching technique
-
dry etch technique
-
echo-sounding technique
-
editing technique
-
electrodeless technique
-
electron channeling technique
-
electron-ion storage technique
-
electroplating technique
-
encapsulation technique
-
energy conservation technique
-
energy conversion technique
-
epitaxial growth technique
-
epitaxial technique
-
etching technique
-
etch technique
-
evaporation technique
-
expanding-spread technique
-
fabrication technique
-
face-down technique
-
Fane knit technique
-
figure-of-eight technique
-
film technique
-
film-carrier technique
-
fine-line technique
-
fixed-abrasive machining technique
-
flip-chip technique
-
floating-zone technique
-
float-zone technique
-
floating-charge technique
-
flood routing technique
-
fluidization technique
-
folded-spectrum technique
-
forecasting technique
-
fracture replica technique
-
freezing technique
-
gamma-ray technique
-
geomagnetic induction technique
-
graphical design technique
-
gravity anchoring technique
-
growing technique
-
head space technique
-
heat pulse technique
-
heuristic technique
-
high-speed motion-picture technique
-
high-tech machining technique
-
high-vacuum technique
-
high-voltage technique
-
high-voltage testing technique
-
high-voltage test technique
-
holographic technique
-
horizontal stacking technique
-
hyperflow technique
-
imaging technique
-
in-cycle gaging technique
-
infrared nondestructive technique
-
in-process gaging technique
-
integrated-circuit technique
-
integrated technique
-
interconnection technique
-
interference technique
-
ion implantation technique
-
ion-exchange technique
-
isolation technique
-
isotope correlation technique
-
job setting technique
-
junction isolation technique
-
ladle-degassing technique
-
layout technique
-
lift-off technique
-
lithographic technique
-
long-hole technique
-
loose-abrasive machining technique
-
manufacturing technique
-
mask technique
-
masking technique
-
mass-flow technique
-
mass-spectrometric technique
-
matrix technique
-
microalloy technique
-
microelectronic technique
-
microfabrication technique
-
microprobe technique
-
microscopic technique
-
microstructure fabrication technique
-
microstructure technique
-
mid-depth tow technique
-
motion-picture technique
-
mounting technique
-
multicamera technique
-
multichip bonding technique
-
multiple seismometer technique
-
multiple-access technique
-
near-bottom tow technique
-
nondestructive inspection technique
-
normal-freezing technique
-
observing technique
-
optimizing technique
-
ordered elimination technique
-
overlay technique
-
packaging technique
-
parallel-line technique
-
parts classification technique
-
pattern recognition technique
-
pattern-defining technique
-
phase separation and leaching technique
-
photoelastic technique
-
photofinishing technique
-
photographic technique
-
photolithographic technique
-
photoprocessing technique
-
photoresist-processing technique
-
piled anchoring technique
-
piled/gravity anchoring technique
-
pilot technique
-
potential-drop-ratio technique
-
preferential etching technique
-
preferential etch technique
-
printed-circuit technique
-
probe technique
-
processing technique
-
production technique
-
program production technique
-
programming technique
-
projection technique
-
pulse-echo technique
-
pyrometric technique
-
radioactive tracer technique
-
radio-echo technique
-
ramp assisted toil casting technique
-
refrigeration technique
-
registration technique
-
reocasting technique
-
replica technique
-
river-basin simulation technique
-
robotic handling techniques
-
roll-and-scroll technique
-
roll technique
-
round-robin technique
-
screen-printing technique
-
selective ion etching technique
-
selective ion etch technique
-
self-synchronization technique
-
side-wall neutron technique
-
silk-screening technique
-
simulation technique
-
spill-cleaning technique
-
spin-on technique
-
sputtering technique
-
stimulation technique
-
strain anneal technique
-
structural arrest technique
-
suction anchoring technique
-
surface passivation technique
-
tape-automated-bonding technique
-
technique of directional crystallization
-
technique of mold reciprocation
-
television production technique
-
television technique
-
testing technique
-
thermocompression technique
-
through-flow line servicing technique
-
time-lapse technique
-
touch trigger probing technique
-
tribometric technique
-
two-point technique
-
ultrahigh-vacuum technique
-
unmanned production technique
-
vacuum technique
-
vapor-phase epitaxial technique
-
vertical crystal pulling technique
-
vertical pulling technique
-
video tape editing technique
-
voltage balancing technique
-
water allocation technique
-
water injection-fume exhaustion technique
-
water-system optimization technique
-
wet etching technique
-
wet etch technique
-
wire-line technique
-
zone-melting technique -
8 phase
фаза; период; стадияequilibrium phase — фаза диффузии ( антигена во внесосудистое пространство после внутривенной инъекции)
exponential growth phase — логарифмическая [экспоненциальная] фаза роста, лог-фаза роста
immunoreductive risk phase — транспл. иммуносупрессивная фаза риска
induction phase — фаза индукции, индуктивная фаза ( иммунного ответа)
inductive phase — индуктивная фаза, фаза индукции ( иммунного ответа)
log phase — логарифмическая [экспоненциальная] фаза, лог-фаза
metabolic phase — фаза процессирования ( антигена); метаболическая фаза ( гуморального иммунного ответа)
negative phase — фаза снижения ( концентрации антител в крови); негативная фаза ( гуморального иммунного ответа)
operative risk phase — транспл. оперативная [хирургическая] фаза риска
paralyzable phase — стадия ( иммунологической) неотвечаемости ( в процессе дифферениироеки B-лимфоцитов)
primary phase — начальная фаза ( активации B-клеток); начальная стадия ( реакции)
recruitment phase — рекрут-фаза ( возобновление эмиграции лимфоцитов из лимфоузлов после инъекции антигена)
S phase — S-фаза, фаза синтеза ( в митотическом цикле клетки)
shutdown phase — фаза «закрытия» (торможение эмиграции лимфоцитов из лимфоузлов в первые часы после инъекции антигена)
transferred solid phase — перенесённая фаза с иммобилизованными антителами (напр. при скрининге гибридом)
-
9 compiler optimization
один из этапов компиляции, на котором с помощью методов оптимизации происходит преобразование программы, сохраняющее её семантику, но уменьшающее размер кода и/или время выполнения. Как правило, уменьшение размера кода увеличивает время выполнения, и наоборот. Поскольку ручная оптимизация программы стоит дорого и занимает много времени, а программисты, работающие на ЯВУ, обычно не знают тонкостей архитектуры конкретного целевого процессора, то сейчас кроме редких случаев используется оптимизация при компиляции, когда компилятор автоматически выбирает наиболее эффективный способ оптимизации и детали реализации в соответствии с заданным уровнем оптимизациисм. тж. antidependence, branch deletion, automatic parallelization, constant folding, constant propagation, control dependence, copy propagation, CSE, data dependence, dead statement, expression folding, fission by name, global forward substitution, GVN, hand optimization, intermediate representation, interprocedural optimization, jump threading, lazy evaluation, induction variable, instruction scheduling, instruction selection, local optimization, loop collapsing, loop invariant code motion, loop inversion, loop parallelization, loop optimization, loop peeling, loop skewing, loop splitting, loop tiling, loop transformation, loop unrolling, loop unrolling and jamming, loop unswitching, loop unwinding, loop vectorization, LNO, optimization, optimization technique, optimizing compiler, output dependence, partial evaluation, peephole optimization, polytope model, PRE, redundant-test elimination, register allocation, register spilling, scalar replacement, SSA, static analysis, strength reduction, strip mining, test promotion, trace scheduling, true dependence, two-version loop, vectorizationАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > compiler optimization
-
10 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
См. также в других словарях:
induction by elimination — See eliminative induction … Philosophy dictionary
Induction logique — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Élimination de Gauss — Carl Friedrich Gauss « Gauss » redirige ici. Pour les autres significations, voir Gauss (homonymie). Carl Friedrich Gauss … Wikipédia en Français
Asymmetric induction — (also enantioinduction) in stereochemistry describes the preferential formation in a chemical reaction of one enantiomer or diastereoisomer over the other as a result of the influence of a chiral feature present in the substrate, reagent,… … Wikipedia
Ovulation induction — Intervention MeSH D010062 Ovulation induction is the stimulation of ovulation by medication. It is usually used in the sense of stimulation of the development of ovarian follicles … Wikipedia
Compiler optimization — is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the… … Wikipedia
VBCC — is the name of a portable and retargetable ISO/ANSI C compiler.It supports ISO C according to ISO/IEC 9899:1989 and a subset of the new standard ISO/IEC 9899:1999 (C99). It is divided into two parts. One is target independent and the other is… … Wikipedia
Inline expansion — In computing, inline expansion, or inlining, is a manual or compiler optimization that replaces a function call site with the body of the callee. This optimization may improve time and space usage at runtime, at the possible cost of increasing… … Wikipedia
Inférence inductive — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Recherche inductive — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
DÉMONSTRATION (THÉORIE DE LA) — La théorie de la démonstration est la logique de la logique. En contraste avec d’autres sous domaines tels que la théorie des modèles, les grandes questions qui ont tant passionné nos pères ont laissé une trace vivace dans cette discipline, qui… … Encyclopédie Universelle